Image from using the
AbstractAlgebra
package
Contrasting tables of Z_4 and cosets of {0,4} in Z_8.